@a = dso_local global i32 0
@b = dso_local global i32 4
define i32 @main() {
B1:                               	; succs = %B2, %B5
  @a = load i32, i32* @a, align 4
  @b = load i32, i32* @b, align 4
  %t0 = icmp sgt i32 @a, @b
  br i1 %t0, label %B2, label %B5
B2:                               	; preds = %B1                               	; succs = %B3
  store i32 1, i32* @a, align 4
  br label %B3
B5:                               	; preds = %B1                               	; succs = %B3
  br label %B3
B3:                               	; preds = %B2, %B5
  ret i32 0
}
